Petri nets with individual tokens
نویسندگان
چکیده
منابع مشابه
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens
Petri nets and Algebraic High-Level Nets are well-known to model parallel and concurrent systems. In this paper, we introduce the concept of Algebraic Higher-Order Nets, which allow to have dynamical tokens like graphs or (ordinary low-level) Petri nets. For this purpose, we specify graphs and Petri nets in the higher-order algebraic specification language HasCasl such that graphs and Petri net...
متن کاملFormalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations
Reconfigurable place/transition systems are Petri nets with initial markings and a set of rules which allow the modification of the net structure during runtime. They have been successfully used in different areas like mobile ad-hoc networks. In most of these applications the modification of net markings during runtime is an important issue. This requires the analysis of the interaction between...
متن کاملModeling of System Reliability Using Petri Nets with Aging Tokens
The paper addresses the dynamic modeling of degrading and repairable complex systems. Emphasis is placed on the convenience of modeling for the end user, with special attention being paid to the modeling part of a problem, which is considered to be decoupled from the choice of solution algorithms. Depending on the nature of the problem, these solution algorithms can include discrete event simul...
متن کاملModeling of system reliability Petri nets with aging tokens
The paper addresses the dynamic modeling of degrading and repairable complex systems. Emphasis is placed on the convenience of modeling for the end user, with special attention being paid to the modeling part of a problem, which is considered to be decoupled from the choice of solution algorithms. Depending on the nature of the problem, these solution algorithms can include discrete event simul...
متن کاملMobile Object Net Systems: Petri Nets as Active Tokens
In this work we present the model of “mobile object net systems” – an algebraic formalisation of the “nets within nets”-paradigm, which is well suited to express the dynamics of open, mobile systems, since it allows tokens to be active. The algebraic theory of “nets within nets” covers an integrated view of the two major topics concurrency and locality, which are central in the area of mobile c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1985
ISSN: 0304-3975
DOI: 10.1016/0304-3975(85)90070-2